Bedienungsanleitung für Tektronix Marine GPS-System, Benutzerhandbuch und Benutzeranleitung